Preserving contexts for soft conformance relation

机译：为软一致性关系保留上下文

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper addresses the study of bisimulation based conformance relations in which input and output actions not presented in the specification are added to the implementation. A new definition, that we called soft conformance, is given. Then, we concentrate on the study of the conditions under which a context preserves the soft conformance relation of two agents. These conditions depend both on the specification and the implementation in the conformance relation and also on the context. Since the addition of extraneous actions to the implementation allows to define malicious contexts that would not preserve the conformance relation, such a characterisation of the family of contexts preserving each individual pair (implementation and specification) in the conformance relation is the best result that can be expected in this direction.

机译：本文着重研究基于双仿真的一致性关系，其中规范中未介绍的输入和输出动作被添加到实现中。给出了一个新的定义，我们称之为软一致性。然后，我们集中研究上下文保留两个代理的软一致性关系的条件。这些条件不仅取决于规范和一致性关系中的实现，还取决于上下文。由于在实现中添加了多余的操作，因此可以定义不会保留一致性关系的恶意上下文，因此，在一致性关系中保留每个对（实现和规范）的上下文族的这种表征是可以达到的最佳结果。有望朝这个方向发展。

著录项

作者
Frutos Escrig, David de; Gregorio Rodríguez, Carlos;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. A context-aware privacy-preserving method for IoT-based smart city using Software Defined Networking [J] . Gheisari Mehdi, Wang Guojun, Khan Wazir Zada, Computers & Security . 2019,第Nova期

机译：使用软件定义网络的基于物联网的智慧城市的上下文感知隐私保护方法
2. Orthogonality-preserving, C*-conformal and conformal module mappings on Hilbert C*-modules [J] . Frank M., Mishchenko A.S., Pavlov A.A. Journal of Functional Analysis . 2011,第2期

机译：希尔伯特C *-模块上的正交保留，C *-保形和保形模块映射
3. RELATIONS AND FUNCTIONS IN SOFT MULTISET CONTEXT [J] . Y. Tella, A.I. Isah Science World Journal . 2018,第3期

机译：软多集上下文中的关系和功能
4. Preserving Contexts for Soft Conformance Relation [C] . David de Frutos Escrig, Carlos Gregorio Rodriguez International Workshop on Formal Approaches to Software Testing(FATES 2004) . 2005

机译：保留软符合关系的背景
5. Conformance preserving data dissemination for large-scale peer to peer systems [D] . Chen, Liping. 2011

机译：一致性地保护大规模对等系统的数据传播
6. Modelling damped acoustic waves by a dissipation-preserving conformal symplectic method [O] . Wenjun Cai, Huai Zhang, Yushun Wang -1

机译：保形保形保辛方法对阻尼声波建模
7. : "This paper deals with the functionality of the flaked stone assemblages from several Neolithic sites of the NE of the Iberian Peninsula. The chronological framework ranges from the mid-6th to the mid-4th millennium cal. BCE, which corresponds to the Early and Middle Neolithic. This long period ranges from the arrival of the first farming communities in the Iberian Peninsula, around 5600-5500 cal. BCE, to 3600-3500 cal. BCE, two millennia later, when Neolithic communities had stably occupied most of the available territory, from the mountainous areas of the Pyrenees to the coastal areas of the Mediterranean.In this context, the NE of the Iberian Peninsula is one of the areas where a major number of use-wear analyses have been carried out, especially for what concerns the Neolithic period. This is mainly due to the interest shown by the directors of the excavations and by the Spanish use-wear specialists as well; both participated and cooperated in order to enlarge the number of contexts studied, making the NE of the Iberian Peninsula one of the areas of Europe with the largest number of ‘functional studies’. As a result, today we have a reliable picture of the type of lithic tools used by the first farming groups, how they were used, and which needs they were satisfying.The methodology employed for this type of analysis is today broadly shared by most use-wear specialists. A stereoscopic microscope is used together with a reflected-light microscope for the analysis of the archaeological specimens. Afterwards, the observed use-wear traces are compared with the traces from experimental tools. This study primarily made use of the tools preserved at the ‘Traceoteque’ of the Institución Milà y Fontanals of the CSIC of Barcelona.This paper presents the results obtained for the different types of analysed sites and the relative lithic assemblages. In this way, tools from different contexts are compared: open-air sites, caves and rock-shelters, pit-sites, burials, and mining sites. Such a diversity of contexts allowed for the exploration of the existence of recurrences and differences in the functionality of the lithic tools from one site to another. The results obtained have also provided information on some aspects related to the economic processes carried out at the different sites, caves, rock-shelters and open-air contexts. It has been possible to gain fresh data on the types of tasks carried out and their relative importance for each site, their relation with the geographical and environmental context and the natural resources available there. In addition, analysing tools recovered from burials – mainly individual inhumations – provided information on the relationships between the buried individuals and the working tools, in particular exploring the relationships between sex and age patterns and the types of tools deposited as goods.In conclusion, use-wear analysis allowed for the exploration of a variety of issues; from technical aspects related to the production and management of the lithic resources to social aspects related to the subsistence activities and the individuals that carried them out." [O] . Gibaja Bao, Juan Francisco, Mazzucco, Niccolo 2015

机译：：“本文研究了伊比利亚半岛东北部几个新石器时代遗址的片状石材组合的功能。时间框架从公元前6世纪中叶到4世纪中叶，分别对应于早期和早期。新石器时代中期，这段时间的长短是从伊比利亚半岛的第一个农业社区到来，大约在公元前5600-5500 cal，到了两千年后的3600-3500 BCE，当时新石器时代的社区稳定地占据了大部分可用土地。从比利牛斯山脉山区到地中海沿岸地区。在这种情况下，伊比利亚半岛东北部是进行过大量使用磨损分析的地区之一，尤其是在关注方面新石器时代，这主要是由于发掘负责人和西班牙使用服装专家表现出的浓厚兴趣；他们参与和合作以扩大孔蒂的数量xts进行了研究，使伊比利亚半岛的NE成为“功能研究”数量最多的欧洲地区之一。结果，今天我们可以可靠地了解第一批耕作小组使用的石器工具的类型，使用方法以及它们满足的需求。今天，大多数使用方法广泛共享用于这种类型的分析的方法穿专家。立体显微镜与反射光显微镜一起用于分析考古样本。然后，将观察到的使用磨损痕迹与实验工具的痕迹进行比较。这项研究主要利用了巴塞罗那CSIC的米拉·丰塔纳尔研究所的“ Traceoteque”中保存的工具。本文介绍了针对不同类型的分析地点和相对石器组合所获得的结果。通过这种方式，可以比较来自不同环境的工具：露天场所，洞穴和岩石避难所，露天场所，埋葬场所和采矿场所。如此多样的上下文允许探索重复性的存在以及从一个站点到另一个站点的石器工具的功能差异。所获得的结果还提供了与在不同地点，洞穴，避难所和露天环境中进行的经济过程有关的某些方面的信息。可以获得有关所执行任务的类型及其对每个站点的相对重要性，它们与地理和环境环境以及那里可用自然资源的关系的新数据。此外，对从墓葬中回收的工具（主要是个人遗体）进行分析，可提供有关被掩埋的个体与工作工具之间关系的信息，尤其是探索性别与年龄模式之间的关系以及作为商品存放的工具的类型。磨损分析允许探索各种问题；从与石器资源的生产和管理有关的技术方面到与自给活动及其实施者有关的社会方面。”

Preserving contexts for soft conformance relation

摘要

著录项

相似文献

相关主题

期刊订阅